Merge pull request #930 from antonio-nino-diaz-arm/an/fixes-xlat-v2
authordavidcunado-arm <[email protected]>
Fri, 12 May 2017 21:48:34 +0000 (22:48 +0100)
committerGitHub <[email protected]>
Fri, 12 May 2017 21:48:34 +0000 (22:48 +0100)
Minor fixes to the xlat tables lib v2


Trivial merge